81. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
82. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
83. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
84. Synthesis of computational structures for analog signal processing
پدیدآورنده : / Cosmin Radu Popa
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Signal processing--Mathematics,Data structures (Computer science),Computer programming
رده :
TK5102
.
9
.
P65
2011
85. Synthesis of computational structures for analog signal processing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Signal processing ; Mathematics. ; Data structures (Computer science) ; Computer programming. ;
86. Synthesis of computational structures for analog signal processing
پدیدآورنده : / Cosmin Radu Popa
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Signal processing--Mathematics,Data structures (Computer science),Computer programming.
رده :
TK
,
5102
.
9
,.
P65
,
2011
87. Synthesis of computational structures for analog signal processing
پدیدآورنده : Popa, Cosmin Radu., Cosmin Radu Popa
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Signal processing, Mathematics,، Data structures )Computer science(,، Computer programming
رده :
TK
5102
.
9
.
P65
2011
88. The science of computing
پدیدآورنده : Meissner, Loren P.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Computer science-- Mathematics
رده :
QA
76
.
6
.
M44
89. The science of computing
پدیدآورنده : Meissner, Loren P
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Computer science -- Mathematics
رده :
QA
76
.
6
.
M44
90. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
91. Vector game math processors
پدیدآورنده : / James Leiterman
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms
رده :
QA76
.
5
.
L446
2003
92. Vector game math processors
پدیدآورنده : James Leiterman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
رده :
QA76
.
5
.
L446
2003eb
93. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده : D. T. Pham and D. Kraboga
کتابخانه: Library of Institute For Color Science and Technology (Tehran)
موضوع : Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
